[next] [prev] [prev-tail] [tail] [up]

Integrals 601 to 700

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 222 145 411 976 476 0 0 0

N.S.

1 1.00 0.65 1.85 4.40 2.14 0.00 0.00 0.00

time (sec)

N/A 0.860 8.417 1.990 0.550 0.310 0.000 0.000 0.000

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 117 148 804 149 0 0 190

N.S.

1 1.00 0.51 0.64 3.48 0.65 0.00 0.00 0.82

time (sec)

N/A 0.705 6.421 1.462 0.521 0.257 0.000 0.000 20.508

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

284 284 137 181 1266 173 0 0 404

N.S.

1 1.00 0.48 0.64 4.46 0.61 0.00 0.00 1.42

time (sec)

N/A 1.040 7.077 1.581 0.553 0.269 0.000 0.000 23.948

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 334 159 214 1562 197 0 0 458

N.S.

1 1.00 0.48 0.64 4.68 0.59 0.00 0.00 1.37

time (sec)

N/A 1.164 5.978 1.549 0.567 0.268 0.000 0.000 25.601

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 241 355 696 5206 689 0 0 0

N.S.

1 1.00 1.47 2.89 21.60 2.86 0.00 0.00 0.00

time (sec)

N/A 0.978 4.071 1.886 0.743 0.531 0.000 0.000 0.000

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 274 603 2998 633 0 0 0

N.S.

1 1.00 1.41 3.09 15.37 3.25 0.00 0.00 0.00

time (sec)

N/A 0.714 2.108 1.736 0.644 0.526 0.000 0.000 0.000

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 140 425 1442 536 0 0 0

N.S.

1 1.00 0.99 3.01 10.23 3.80 0.00 0.00 0.00

time (sec)

N/A 0.515 3.690 1.830 0.570 0.356 0.000 0.000 0.000

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 139 331 668 510 0 0 0

N.S.

1 1.00 1.01 2.40 4.84 3.70 0.00 0.00 0.00

time (sec)

N/A 0.475 1.875 1.554 0.511 0.307 0.000 0.000 0.000

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 119 372 475 358 0 0 0

N.S.

1 1.00 0.83 2.60 3.32 2.50 0.00 0.00 0.00

time (sec)

N/A 0.472 3.531 1.338 0.510 0.270 0.000 0.000 0.000

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 191 137 468 742 398 0 0 0

N.S.

1 1.00 0.72 2.45 3.88 2.08 0.00 0.00 0.00

time (sec)

N/A 0.637 2.947 1.419 0.540 0.265 0.000 0.000 0.000

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 160 517 1085 438 0 0 0

N.S.

1 1.00 0.68 2.18 4.58 1.85 0.00 0.00 0.00

time (sec)

N/A 0.877 2.257 1.368 0.571 0.302 0.000 0.000 0.000

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 152 527 1918 611 0 0 0

N.S.

1 1.00 1.00 3.47 12.62 4.02 0.00 0.00 0.00

time (sec)

N/A 0.559 0.508 1.816 0.652 0.553 0.000 0.000 0.000

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

260 260 1034 1174 15483 805 0 0 0

N.S.

1 1.00 3.98 4.52 59.55 3.10 0.00 0.00 0.00

time (sec)

N/A 0.985 7.892 1.921 1.451 0.646 0.000 0.000 0.000

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 202 562 898 22775 681 0 0 0

N.S.

1 1.00 2.78 4.45 112.75 3.37 0.00 0.00 0.00

time (sec)

N/A 0.740 3.934 1.903 1.286 0.392 0.000 0.000 0.000

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

149 149 523 516 18871 621 0 0 0

N.S.

1 1.00 3.51 3.46 126.65 4.17 0.00 0.00 0.00

time (sec)

N/A 0.514 6.467 1.854 1.088 0.305 0.000 0.000 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

161 161 512 429 23927 450 0 0 0

N.S.

1 1.00 3.18 2.66 148.61 2.80 0.00 0.00 0.00

time (sec)

N/A 0.457 2.583 1.406 1.085 0.274 0.000 0.000 0.000

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

213 213 180 620 42167 488 0 0 0

N.S.

1 1.00 0.85 2.91 197.97 2.29 0.00 0.00 0.00

time (sec)

N/A 0.684 2.440 1.497 0.996 0.294 0.000 0.000 0.000

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 263 181 691 0 530 0 0 0

N.S.

1 1.00 0.69 2.63 0.00 2.02 0.00 0.00 0.00

time (sec)

N/A 0.942 3.188 1.484 0.000 0.281 0.000 0.000 0.000

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

254 254 1159 1385 98366 837 0 0 0

N.S.

1 1.00 4.56 5.45 387.27 3.30 0.00 0.00 0.00

time (sec)

N/A 1.053 8.009 2.053 17.046 0.409 0.000 0.000 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

201 201 1009 693 92192 781 0 0 0

N.S.

1 1.00 5.02 3.45 458.67 3.89 0.00 0.00 0.00

time (sec)

N/A 0.780 7.759 1.820 14.961 0.321 0.000 0.000 0.000

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

163 163 785 558 90253 538 0 0 0

N.S.

1 1.00 4.82 3.42 553.70 3.30 0.00 0.00 0.00

time (sec)

N/A 0.493 6.456 1.541 15.133 0.267 0.000 0.000 0.000

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

211 211 653 500 264379 556 0 0 0

N.S.

1 1.00 3.09 2.37 1252.98 2.64 0.00 0.00 0.00

time (sec)

N/A 0.706 7.452 1.540 3.444 0.273 0.000 0.000 0.000

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

261 261 202 863 410328 600 0 0 0

N.S.

1 1.00 0.77 3.31 1572.14 2.30 0.00 0.00 0.00

time (sec)

N/A 1.005 2.502 1.536 5.656 0.289 0.000 0.000 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 313 208 918 645572 634 0 0 0

N.S.

1 1.00 0.66 2.93 2062.53 2.03 0.00 0.00 0.00

time (sec)

N/A 1.172 4.709 1.632 9.429 0.287 0.000 0.000 0.000

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-1) F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

446 446 5449 0 0 0 0 0 0

N.S.

1 1.00 12.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.861 21.896 0.000 0.000 0.000 0.000 0.000 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-1) F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

390 390 2931 0 0 0 0 0 0

N.S.

1 1.00 7.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.603 20.093 0.000 0.000 0.000 0.000 0.000 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-1) F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

402 402 3029 0 0 0 0 0 0

N.S.

1 1.00 7.53 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.593 22.479 0.000 0.000 0.000 0.000 0.000 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-1) F(-1) F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

466 466 3111 0 0 0 0 0 0

N.S.

1 1.00 6.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.655 21.071 0.000 0.000 0.000 0.000 0.000 0.000

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-1) F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

839 839 4995 0 0 0 0 0 0

N.S.

1 1.00 5.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.304 23.742 0.000 0.000 0.000 0.000 0.000 0.000

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-1) F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

786 786 4191 0 0 0 0 0 0

N.S.

1 1.00 5.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.147 20.728 0.000 0.000 0.000 0.000 0.000 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-1) F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

803 803 4253 0 0 0 0 0 0

N.S.

1 1.00 5.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.208 22.960 0.000 0.000 0.000 0.000 0.000 0.000

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-1) F(-1) F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

856 856 4383 0 0 0 0 0 0

N.S.

1 1.00 5.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.130 22.203 0.000 0.000 0.000 0.000 0.000 0.000

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

259 259 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.677 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

258 258 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.644 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 38 0 310 58 0 0 0

N.S.

1 1.00 1.00 0.00 8.16 1.53 0.00 0.00 0.00

time (sec)

N/A 1.114 0.133 0.000 4.781 0.283 0.000 0.000 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

171 171 1817 0 0 0 0 0 0

N.S.

1 1.00 10.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.298 12.893 0.000 0.000 0.000 0.000 0.000 0.000

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 96 141 175 147 0 334 232

N.S.

1 1.00 0.69 1.01 1.25 1.05 0.00 2.39 1.66

time (sec)

N/A 0.207 0.754 1.002 0.225 0.274 0.000 0.329 19.410

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 80 118 152 129 0 304 197

N.S.

1 1.00 0.68 1.01 1.30 1.10 0.00 2.60 1.68

time (sec)

N/A 0.204 0.391 0.870 0.220 0.282 0.000 0.337 20.192

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 59 88 100 107 0 184 137

N.S.

1 1.00 0.69 1.02 1.16 1.24 0.00 2.14 1.59

time (sec)

N/A 0.128 0.273 0.727 0.207 0.275 0.000 0.328 18.117

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 67 74 88 101 0 134 135

N.S.

1 1.00 1.16 1.28 1.52 1.74 0.00 2.31 2.33

time (sec)

N/A 0.069 0.039 0.435 0.218 0.266 0.000 0.317 15.572

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 54 49 59 86 0 119 91

N.S.

1 1.00 1.29 1.17 1.40 2.05 0.00 2.83 2.17

time (sec)

N/A 0.112 0.019 0.359 0.211 0.261 0.000 0.326 15.889

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 73 65 70 63 0 127 115

N.S.

1 1.00 1.26 1.12 1.21 1.09 0.00 2.19 1.98

time (sec)

N/A 0.154 0.111 0.234 0.209 0.272 0.000 0.309 15.968

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 64 56 67 56 0 153 67

N.S.

1 1.00 0.83 0.73 0.87 0.73 0.00 1.99 0.87

time (sec)

N/A 0.179 0.085 0.350 0.224 0.253 0.000 0.298 15.483

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 84 69 90 76 0 272 215

N.S.

1 1.00 0.88 0.73 0.95 0.80 0.00 2.86 2.26

time (sec)

N/A 0.223 0.151 0.520 0.216 0.270 0.000 0.318 18.542

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 89 89 113 94 0 302 250

N.S.

1 1.00 0.68 0.68 0.86 0.72 0.00 2.31 1.91

time (sec)

N/A 0.215 0.281 0.648 0.211 0.268 0.000 0.317 18.185

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 226 117 178 216 180 0 532 322

N.S.

1 1.00 0.52 0.79 0.96 0.80 0.00 2.35 1.42

time (sec)

N/A 0.582 2.379 1.165 0.218 0.285 0.000 0.356 19.629

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 108 162 225 171 0 426 307

N.S.

1 1.00 0.64 0.95 1.32 1.01 0.00 2.51 1.81

time (sec)

N/A 0.353 1.385 0.959 0.214 0.264 0.000 0.343 19.701

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 78 117 129 136 0 262 209

N.S.

1 1.00 0.76 1.14 1.25 1.32 0.00 2.54 2.03

time (sec)

N/A 0.172 1.373 0.653 0.192 0.263 0.000 0.339 16.060

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 352 112 140 139 0 191 188

N.S.

1 1.00 3.23 1.03 1.28 1.28 0.00 1.75 1.72

time (sec)

N/A 0.202 3.786 0.516 0.196 0.279 0.000 0.316 16.429

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 130 94 99 119 0 175 193

N.S.

1 1.00 1.26 0.91 0.96 1.16 0.00 1.70 1.87

time (sec)

N/A 0.318 2.212 0.503 0.220 0.270 0.000 0.317 15.842

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 144 106 112 99 0 256 170

N.S.

1 1.00 1.29 0.95 1.00 0.88 0.00 2.29 1.52

time (sec)

N/A 0.322 1.004 0.440 0.215 0.284 0.000 0.341 16.113

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 104 99 130 104 0 378 145

N.S.

1 1.00 0.72 0.68 0.90 0.72 0.00 2.61 1.00

time (sec)

N/A 0.417 0.893 0.514 0.205 0.264 0.000 0.307 15.620

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 126 120 154 123 0 498 342

N.S.

1 1.00 0.78 0.75 0.96 0.76 0.00 3.09 2.12

time (sec)

N/A 0.433 1.491 0.685 0.218 0.284 0.000 0.324 18.535

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 306 187 254 386 262 0 932 574

N.S.

1 1.00 0.61 0.83 1.26 0.86 0.00 3.05 1.88

time (sec)

N/A 0.793 5.499 1.511 0.213 0.291 0.000 0.387 19.133

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 234 152 215 289 225 0 656 445

N.S.

1 1.00 0.65 0.92 1.24 0.96 0.00 2.80 1.90

time (sec)

N/A 0.522 3.253 1.179 0.221 0.269 0.000 0.383 19.461

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 132 183 254 199 0 526 1547

N.S.

1 1.00 0.79 1.10 1.52 1.19 0.00 3.15 9.26

time (sec)

N/A 0.335 2.093 1.047 0.212 0.274 0.000 0.360 17.895

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 325 155 181 178 0 322 464

N.S.

1 1.00 1.95 0.93 1.08 1.07 0.00 1.93 2.78

time (sec)

N/A 0.359 4.768 0.898 0.223 0.269 0.000 0.356 17.719

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 168 287 157 179 171 0 387 282

N.S.

1 1.00 1.71 0.93 1.07 1.02 0.00 2.30 1.68

time (sec)

N/A 0.476 3.479 0.725 0.230 0.279 0.000 0.361 17.104

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 184 135 141 158 0 306 238

N.S.

1 1.00 1.13 0.83 0.87 0.97 0.00 1.88 1.46

time (sec)

N/A 0.610 2.530 0.689 0.209 0.270 0.000 0.375 17.479

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 177 149 174 146 0 503 2008

N.S.

1 1.00 0.97 0.82 0.96 0.80 0.00 2.76 11.03

time (sec)

N/A 0.597 1.850 0.648 0.239 0.278 0.000 0.357 17.207

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 218 155 147 194 153 0 606 442

N.S.

1 1.00 0.71 0.67 0.89 0.70 0.00 2.78 2.03

time (sec)

N/A 0.713 1.651 0.676 0.246 0.272 0.000 0.334 18.747

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 257 253 178 243 189 0 882 573

N.S.

1 1.00 0.98 0.69 0.95 0.74 0.00 3.43 2.23

time (sec)

N/A 0.809 1.793 0.872 0.246 0.291 0.000 0.348 18.984

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 381 234 317 472 325 0 1280 755

N.S.

1 1.00 0.61 0.83 1.24 0.85 0.00 3.36 1.98

time (sec)

N/A 1.115 6.623 1.685 0.232 0.296 0.000 0.410 20.080

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 310 207 291 459 297 0 1100 690

N.S.

1 1.00 0.67 0.94 1.48 0.96 0.00 3.55 2.23

time (sec)

N/A 0.836 8.885 1.573 0.204 0.282 0.000 0.408 19.118

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 227 172 236 318 251 0 778 1738

N.S.

1 1.00 0.76 1.04 1.40 1.11 0.00 3.43 7.66

time (sec)

N/A 0.572 3.586 1.300 0.205 0.288 0.000 0.404 18.931

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 229 1357 247 306 236 0 590 1988

N.S.

1 1.00 5.93 1.08 1.34 1.03 0.00 2.58 8.68

time (sec)

N/A 0.605 11.141 1.278 0.206 0.280 0.000 0.382 19.094

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 219 416 200 221 208 0 397 2664

N.S.

1 1.00 1.90 0.91 1.01 0.95 0.00 1.81 12.16

time (sec)

N/A 0.679 7.980 1.128 0.196 0.294 0.000 0.379 18.420

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 251 324 198 221 210 0 398 2660

N.S.

1 1.00 1.29 0.79 0.88 0.84 0.00 1.59 10.60

time (sec)

N/A 0.857 4.829 1.002 0.196 0.303 0.000 0.380 18.047

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 246 270 207 204 203 0 558 395

N.S.

1 1.00 1.10 0.84 0.83 0.83 0.00 2.27 1.61

time (sec)

N/A 0.942 3.396 0.887 0.203 0.288 0.000 0.394 16.906

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 250 223 195 239 195 0 753 2241

N.S.

1 1.00 0.89 0.78 0.96 0.78 0.00 3.01 8.96

time (sec)

N/A 0.964 2.519 0.841 0.203 0.289 0.000 0.368 17.978

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 302 203 283 212 0 1034 359

N.S.

1 1.00 1.01 0.68 0.95 0.71 0.00 3.47 1.20

time (sec)

N/A 1.142 1.811 0.763 0.200 0.269 0.000 0.365 16.552

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

339 339 351 238 329 251 0 1228 751

N.S.

1 1.00 1.04 0.70 0.97 0.74 0.00 3.62 2.22

time (sec)

N/A 1.310 1.919 0.934 0.205 0.291 0.000 0.385 19.269

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 188 161 192 181 0 379 274

N.S.

1 1.00 1.19 1.02 1.22 1.15 0.00 2.40 1.73

time (sec)

N/A 0.320 1.885 0.974 0.195 0.270 0.000 0.362 16.596

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 86 94 105 132 0 168 160

N.S.

1 1.00 0.81 0.89 0.99 1.25 0.00 1.58 1.51

time (sec)

N/A 0.194 0.187 0.619 0.198 0.271 0.000 0.309 16.997

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 75 82 93 116 0 149 137

N.S.

1 1.00 1.00 1.09 1.24 1.55 0.00 1.99 1.83

time (sec)

N/A 0.097 0.021 0.533 0.189 0.278 0.000 0.303 16.746

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

186 186 657 299 0 663 0 372 3914

N.S.

1 1.00 3.53 1.61 0.00 3.56 0.00 2.00 21.04

time (sec)

N/A 0.722 3.966 0.538 0.000 1.799 0.000 0.354 20.877

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

137 137 428 218 0 559 0 242 2321

N.S.

1 1.00 3.12 1.59 0.00 4.08 0.00 1.77 16.94

time (sec)

N/A 0.418 4.828 0.410 0.000 1.775 0.000 0.341 19.671

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 331 137 0 424 0 163 934

N.S.

1 1.00 3.48 1.44 0.00 4.46 0.00 1.72 9.83

time (sec)

N/A 0.240 2.822 0.349 0.000 0.633 0.000 0.348 18.809

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 239 114 0 362 0 144 3656

N.S.

1 1.00 2.72 1.30 0.00 4.11 0.00 1.64 41.55

time (sec)

N/A 0.196 0.692 0.280 0.000 0.627 0.000 0.337 24.332

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 82 108 0 306 0 136 1560

N.S.

1 1.00 0.95 1.26 0.00 3.56 0.00 1.58 18.14

time (sec)

N/A 0.223 0.359 0.305 0.000 0.281 0.000 0.324 18.528

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 126 115 160 0 386 0 199 2478

N.S.

1 0.98 0.90 1.25 0.00 3.02 0.00 1.55 19.36

time (sec)

N/A 0.462 0.788 0.364 0.000 0.290 0.000 0.326 20.105

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 173 149 225 0 483 0 326 3942

N.S.

1 0.99 0.85 1.29 0.00 2.76 0.00 1.86 22.53

time (sec)

N/A 0.717 1.116 0.485 0.000 0.290 0.000 0.337 21.098

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 232 191 353 0 599 0 574 5828

N.S.

1 1.00 0.82 1.52 0.00 2.58 0.00 2.47 25.12

time (sec)

N/A 1.047 1.299 0.616 0.000 0.299 0.000 0.331 23.446

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

271 271 461 322 0 1135 0 358 6465

N.S.

1 1.00 1.70 1.19 0.00 4.19 0.00 1.32 23.86

time (sec)

N/A 0.971 4.252 0.740 0.000 7.225 0.000 0.343 26.593

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 336 232 0 852 0 382 4105

N.S.

1 1.00 2.20 1.52 0.00 5.57 0.00 2.50 26.83

time (sec)

N/A 0.568 3.392 0.511 0.000 1.887 0.000 0.337 25.390

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

135 135 331 188 0 676 0 231 3838

N.S.

1 1.00 2.45 1.39 0.00 5.01 0.00 1.71 28.43

time (sec)

N/A 0.319 2.596 0.411 0.000 1.423 0.000 0.332 24.325

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

125 125 270 169 0 543 0 205 3850

N.S.

1 1.00 2.16 1.35 0.00 4.34 0.00 1.64 30.80

time (sec)

N/A 0.281 2.814 0.248 0.000 0.281 0.000 0.307 24.126

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 137 203 0 642 0 988 4113

N.S.

1 1.00 0.80 1.19 0.00 3.75 0.00 5.78 24.05

time (sec)

N/A 0.504 1.331 0.431 0.000 0.300 0.000 0.418 24.480

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 256 176 266 0 838 0 315 6519

N.S.

1 1.00 0.69 1.04 0.00 3.27 0.00 1.23 25.46

time (sec)

N/A 0.981 2.481 0.584 0.000 0.318 0.000 0.319 26.056

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

326 326 212 329 0 989 0 441 6978

N.S.

1 1.00 0.65 1.01 0.00 3.03 0.00 1.35 21.40

time (sec)

N/A 1.386 3.888 0.752 0.000 0.339 0.000 0.346 26.382

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

381 381 559 462 0 2084 0 1187 10408

N.S.

1 1.00 1.47 1.21 0.00 5.47 0.00 3.12 27.32

time (sec)

N/A 1.931 4.661 1.305 0.000 19.600 0.000 0.413 32.065

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

271 271 421 356 0 1552 0 521 7197

N.S.

1 1.00 1.55 1.31 0.00 5.73 0.00 1.92 26.56

time (sec)

N/A 1.145 5.286 1.026 0.000 7.055 0.000 0.396 27.078

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

212 212 445 317 0 1317 0 509 6565

N.S.

1 1.00 2.10 1.50 0.00 6.21 0.00 2.40 30.97

time (sec)

N/A 0.695 4.669 0.650 0.000 4.237 0.000 0.385 26.212

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

177 177 342 230 0 718 0 371 241

N.S.

1 1.00 1.93 1.30 0.00 4.06 0.00 2.10 1.36

time (sec)

N/A 0.401 3.149 0.413 0.000 0.313 0.000 0.384 19.433

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

202 202 642 298 0 1059 0 484 6574

N.S.

1 1.00 3.18 1.48 0.00 5.24 0.00 2.40 32.54

time (sec)

N/A 0.540 4.124 0.402 0.000 0.328 0.000 0.372 26.238

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

266 266 902 329 0 1219 0 491 7202

N.S.

1 1.00 3.39 1.24 0.00 4.58 0.00 1.85 27.08

time (sec)

N/A 1.089 5.940 0.753 0.000 0.344 0.000 0.383 26.735

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 369 256 404 0 1554 0 2485 10471

N.S.

1 1.00 0.69 1.09 0.00 4.21 0.00 6.73 28.38

time (sec)

N/A 1.811 3.566 0.949 0.000 0.380 0.000 0.644 31.173

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

378 378 564 532 0 2424 0 878 10065

N.S.

1 1.00 1.49 1.41 0.00 6.41 0.00 2.32 26.63

time (sec)

N/A 2.066 7.825 1.136 0.000 16.523 0.000 0.404 29.441

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

313 313 531 502 0 2156 0 876 9753

N.S.

1 1.00 1.70 1.60 0.00 6.89 0.00 2.80 31.16

time (sec)

N/A 1.427 7.633 1.121 0.000 12.963 0.000 0.415 34.136

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 261 221 374 0 1113 0 693 482

N.S.

1 1.00 0.85 1.43 0.00 4.26 0.00 2.66 1.85

time (sec)

N/A 0.787 2.305 0.641 0.000 0.343 0.000 0.373 20.987

[next] [prev] [prev-tail] [front] [up]